
@INPROCEEDINGS{5479529, 
author={Orfanus, D. and Janacik, P. and Wagner, F.R.}, 
booktitle={Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW), 2010 13th IEEE International Symposium on}, title={Locality-Aware Extension of pi-Calculus to Model Self-Organizing Behavior in Massively Distributed Embedded Systems}, 
year={2010}, 
month={may}, 
volume={}, 
number={}, 
pages={29 -38}, 
keywords={Algebra;Conferences;Design methodology;Distributed computing;Embedded system;Libraries;Oceans;Process design;Real time systems;Wireless sensor networks;distributed processing;embedded systems;fault tolerant computing;pattern clustering;pi calculus;wireless sensor networks;locality awareness;massively distributed embedded system;pi-calculus;process algebra;self-organizing clustering;wireless sensor network;Process algebra;ad hoc networks;clustering;emergence;locality awareness;pi-calculus;self-organization;wireless sensor networks;}, 
doi={10.1109/ISORCW.2010.16}, 
ISSN={},}
@incollection{,
year={2007},
isbn={978-3-540-75139-7},
booktitle={Computational Methods in Systems Biology},
volume={4695},
series={Lecture Notes in Computer Science},
editor={Calder, Muffy and Gilmore, Stephen},
doi={10.1007/978-3-540-75140-3_13},
title={Efficient, Correct Simulation of Biological Processes in the Stochastic Pi-calculus},
url={http://dx.doi.org/10.1007/978-3-540-75140-3_13},
publisher={Springer Berlin Heidelberg},
author={Phillips, Andrew and Cardelli, Luca},
pages={184-199}
}


@INPROCEEDINGS{Pierce97pict_a,
    author = {Benjamin C. Pierce and David N. Turner},
    title = {Pict: A programming language based on the pi-calculus},
    booktitle = {PROOF, LANGUAGE AND INTERACTION: ESSAYS IN HONOUR OF ROBIN MILNER},
    year = {1997},
    pages = {455--494},
    publisher = {MIT Press}
}
@INPROCEEDINGS{Cremet03pilib:a,
    author = {Vincent Cremet and Martin Odersky},
    title = {PiLib: A hosted language for pi-calculus style concurrency},
    booktitle = {In Dagstuhl proc.: Domain-Specific Program Generation},
    year = {2003}
}
